TransitiveReductionGraph

TransitiveReductionGraph[g] gives a transitive reduction of the graph g.

TransitiveReductionGraph[{v->w,…}] uses rules v->w to specify the graph g. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.